Usenix Security '22 - Zero-Knowledge Middleboxes

USENIX Security '22 - Zero-Knowledge Middleboxes

USENIX Security '22 - Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for

USENIX Security '23 - zkSaaS: Zero-Knowledge SNARKs as a Service

USENIX Security '22 - Automated Detection of Automated Traffic

USENIX Security '23 - Dubhe: Succinct Zero-Knowledge Proofs for Standard AES and relate...

USENIX Security '23 - Cheesecloth: Zero-Knowledge Proofs of Real World Vulnerabilities

USENIX Security '18 - DIZK: A Distributed Zero Knowledge Proof System

USENIX Security '16 - ZKBoo: Faster Zero-Knowledge for Boolean Circuits

Zero Knowledge Proofs

Computational Thinking

Weaponizing Middleboxes for TCP Reflected Amplification - USENIX Security 2021 Distinguished Paper

Zero knowledge proofs

USENIX Security '20 - A Tale of Two Headers: A Formal Analysis of Inconsistent Click-Jacking...

zkSaaS: Zero-Knowledge SNARKs as a Service

Simons Institute

USENIX Security '22 - Web Cache Deception Escalates!

USENIX Security '22 - Pacer: Comprehensive Network Side-Channel Mitigation in the Cloud

USENIX Security '23 - ZBCAN: A Zero-Byte CAN Defense System

USENIX Security '23 - Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and...

USENIX Security '22 - Who Are You (I Really Wanna Know)? Detecting Audio DeepFakes Through Vocal